1. Language in action : categories, lambdas, and dynamic logic

پدیدآورنده :

موضوع : ، Language and logic,، Categorial grammar,، Lambda calculus,، Logic, Symbolic and mathematical,، Mathematical linguistics

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

2. The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Time,، Ontology,، Tense )Grammar(,، Tense )Logic(

رده :
BC
199
.
T4
.
B46
1991